More from this Author
Found 4 books by Herman Geuvers (Editor)
Types for Proofs and Programs
by Herman Geuvers (Editor), Freek Wiedijk (Editor)
Logic Colloquium 2006
by S. Barry Cooper (Editor), Herman Geuvers (Editor), Anand Pillay (Editor), Jouko Väänänen (Editor)
Types for Proofs and Programs
by Herman Geuvers (Editor), Freek Wiedijk (Editor)
Intelligent Computer Mathematics
by Herman Geuvers (Editor), Matthew England (Editor), Osman Hasan (Editor), Florian Rabe (Editor), Olaf Teschke (Editor)